reduction ring

归约环